|
In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by . By definition, the character of a representation ''r'' of ''G'' is the trace of ''r''(''g''), as a function of a group element ''g'' in ''G''. The irreducible representations in this case are all finite-dimensional (this is part of the Peter–Weyl theorem); so the notion of trace is the usual one from linear algebra. Knowledge of the character χ of ''r'' is a good substitute for ''r'' itself, and can have algorithmic content. Weyl's formula is a closed formula for the χ, in terms of other objects constructed from ''G'' and its Lie algebra. The representations in question here are complex, and so without loss of generality are unitary representations; ''irreducible'' therefore means the same as ''indecomposable'', i.e. not a direct sum of two subrepresentations. ==Statement of Weyl character formula== The character of an irreducible representation of a complex semisimple Lie algebra is given by : where * is the Weyl group; * is the subset of the positive roots of the root system ; * is the half sum of the positive roots; * is the highest weight of the irreducible representation ; * is the determinant of the action of on the Cartan subalgebra . This is equal to , where is the length of the Weyl group element, defined to be the minimal number of reflections with respect to simple roots such that equals the product of those reflections. The character of an irreducible representation of a compact connected Lie group is given by : where is the character on with differential on the Lie algebra of the maximal Torus . If is the differential of a character of , e.g. if is simply connected, this can be reformulated as : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Weyl character formula」の詳細全文を読む スポンサード リンク
|